Abstract Interpretation, Bug Detection and Bug Diagnosis in Normal Logic Programs

نویسنده

  • Lunjin Lu
چکیده

Interpretation, Bug Detection and Bug Diagnosis in Normal Logic Programs

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automatic Termination Proofs for Programs with Shape-Shifting Heaps

We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation of the program’s heap. We first describe how an abstract interpretation can be used to construct a finite number of relations which, if each is well-founded, implies termination. We then give an abstract interpretation based on separation logic formulæ which tracks the...

متن کامل

The Effect of Bug Damage on Physicochemical, Electrophoretic and Quality Factors of Wheat Gluten

One of the most important forms of preharvest damage to wheat is caused by sunn pests. The insects insert their mouth parts into the immature grain and while injecting their saliva suck the milky juices. Flour from damaged wheat results in low baking performance due to the bug proteolytic enzymes’ injected which cause the breakdown of gluten structure in the dough. In the present study three wh...

متن کامل

Polymorphic Type Analysis in Logic Programs by Abstract Intepretation

interpretation frameworks. It is also fully automated in that its only inputs are theprogram to be analysed and type de nitions for the function symbols in the program.References[1] H. Azzoune. Type inference in Prolog. In E. Lusk and R. Overbeek, editors, Proceedingsof the ninth International Conference on Automated Deduction, pages 258{277, Argonne,Illinois, USA, May 23-26...

متن کامل

Assertion-based debugging of imperative programs by abstract interpretation

Abstract interpretation is a formal method that enables the static determination (i.e. at compile-time) of the dynamic properties (i.e. at run-time) of programs. So far, this method has mainly been used to build sophisticated, optimizing compilers. In this paper, we show how abstract interpretation techniques can be used to perform, prior to their execution, a static and automatic debugging of ...

متن کامل

Assertion-based Debugging of Imperative Programs by Abstract Interpretation

Abstract interpretation is a formal method that enables the static determination (i.e. at compile-time) of the dynamic properties (i.e. at run-time) of programs. So far, this method has mainly been used to build sophisticated, optimizing compilers. In this paper, we show how abstract interpretation techniques can be used to perform, prior to their execution, a static and automatic debugging of ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005